“프로그램 검증”으로 총 1건 검색

• 프로그램 검증, -檢證, program verification

  프로그램이 주어진 명세와 일치하는지를 알아보기 위해 수학적 증명 방법을 통해 특정한 성질들을 증명하는 작업. 보통 주어진 프로그램이 끝나는가, 어떤 변수들이 변하지 않고 남아 있는가와 같은 성질들을 증명한다.